Nuprl Definition : lnk
0,22
postcript
pdf
lnk(
k
) == 1of(outl(
k
))
latex
Definitions
outl(
x
)
,
1of(
t
)
FDL editor aliases
lnk
origin